Using Floating-Point Intervals for Non-Modular Computations in Residue Number System
نویسندگان
چکیده
منابع مشابه
Floating-Point Arithmetic Algorithms in the Symmetric Residue Number System
The residue number system is an integer number system and is inconvenient to represent numbers with fractional parts. In the symmetric residue system, a new representation of floating-point numbers and arithmetic algorithms for its addition, subtraction, multiplication, and division are proposed. A floating-point number is expressed as an integer multiplied by a product of the moduli. The propo...
متن کاملReproducible Parallel Floating-Point Computations
Because of rounding errors, floating-point operations such as addition and multiplication are not associative, computed results depend also on the order of computation. Therefore we cannot get the same answer from run-to-run even on the same machine with varying number of available processors. That makes understanding the reliability of output harder, especially with the increasing level of par...
متن کاملFloating-point Number LISP
There exist many applications where both symbolic and floating-point computations are required at the same time. Image recognition, for example, requires huge amounts of numeric calculation to extract features from raw image data before the actual recognition is performed according to those features. Systems for symbolic computation should perform type-checking on numeric calculations. Although...
متن کاملSymbolic execution of floating-point computations
Symbolic execution is a classical program testing technique which evaluates a selected control flow path with symbolic input data. A constraint solver can be used to enforce the satisfiability of the extracted path conditions as well as to derive test data. Whenever path conditions contain floating-point computations, a common strategy consists of using a constraint solver over the rationals or...
متن کاملAbstract Interpretation of Floating-Point Computations
Interpretation of Floating-Point Computations Sylvie Putot Laboratory for ModElling and Analysis of Systems in Interaction, CEA-LIST/X/CNRS Session: Static Analysis for Safety and Performance ARTIST2 MOTIVES Trento Italy, February 19-23, 2007 Sylvie Putot Laboratory for ModElling and Analysis of Systems in Interaction, CEA-LIST/X/CNRS Abst Interpretation of Floating-Point Computations
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.2982365